[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

148 148 9240 0 0 0 0 0 -1

N.S.

1 1.00 62.43 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.225 6.591 1.816 0.000 0.000 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

148 148 12302 0 0 0 0 0 -1

N.S.

1 1.00 83.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.223 6.825 2.000 0.000 0.000 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 200 0 0 0 0 0 -1

N.S.

1 1.00 1.69 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.184 5.594 0.375 0.000 0.000 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 200 0 0 0 0 0 -1

N.S.

1 1.00 1.69 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.193 1.667 0.375 0.000 0.000 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 667 0 763 574 0 0 749

N.S.

1 1.00 2.43 0.00 2.77 2.09 0.00 0.00 2.72

time (sec)

N/A 0.339 6.594 0.326 0.575 0.431 0.000 0.000 21.060

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 192 174 0 528 323 0 0 480

N.S.

1 1.16 1.05 0.00 3.18 1.95 0.00 0.00 2.89

time (sec)

N/A 0.239 1.178 0.302 0.547 0.401 0.000 0.000 19.203

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 116 0 345 173 0 0 105

N.S.

1 1.00 1.12 0.00 3.32 1.66 0.00 0.00 1.01

time (sec)

N/A 0.187 0.322 0.303 0.542 0.375 0.000 0.000 1.442

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 200 0 0 0 0 0 -1

N.S.

1 1.00 1.69 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.186 1.559 0.000 0.000 0.000 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

134 134 3178 0 0 0 0 0 -1

N.S.

1 1.00 23.72 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.205 6.565 0.316 0.000 0.000 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

134 134 8147 0 0 0 0 0 -1

N.S.

1 1.00 60.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.221 6.699 0.319 0.000 0.000 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

267 267 353 0 0 212 0 0 368

N.S.

1 1.00 1.32 0.00 0.00 0.79 0.00 0.00 1.38

time (sec)

N/A 0.298 17.912 1.371 0.000 0.405 0.000 0.000 22.233

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-2) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

191 191 269 0 0 143 0 0 239

N.S.

1 1.00 1.41 0.00 0.00 0.75 0.00 0.00 1.25

time (sec)

N/A 0.216 14.861 1.326 0.000 0.414 0.000 0.000 15.484

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-2) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

114 114 211 0 0 94 0 0 134

N.S.

1 1.00 1.85 0.00 0.00 0.82 0.00 0.00 1.18

time (sec)

N/A 0.151 11.734 0.586 0.000 0.411 0.000 0.000 14.158

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

163 163 675 0 0 0 0 0 -1

N.S.

1 1.00 4.14 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.208 11.557 0.446 0.000 0.000 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

158 158 1767 0 0 0 0 0 -1

N.S.

1 1.00 11.18 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.178 18.865 0.408 0.000 0.000 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

170 170 3601 0 0 0 0 0 -1

N.S.

1 1.00 21.18 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.222 89.504 0.509 0.000 0.000 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

173 173 5163 0 0 0 0 0 -1

N.S.

1 1.00 29.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.227 61.822 1.393 0.000 0.000 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 63 0 0 84 898 0 64

N.S.

1 1.00 1.85 0.00 0.00 2.47 26.41 0.00 1.88

time (sec)

N/A 0.176 0.381 1.087 0.000 0.439 80.426 0.000 14.447

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 67 0 0 83 898 0 61

N.S.

1 1.00 1.97 0.00 0.00 2.44 26.41 0.00 1.79

time (sec)

N/A 0.153 0.783 1.068 0.000 0.388 80.810 0.000 14.457

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 66 0 0 84 898 0 61

N.S.

1 1.00 2.00 0.00 0.00 2.55 27.21 0.00 1.85

time (sec)

N/A 0.157 1.149 1.331 0.000 0.388 80.044 0.000 14.378

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 61 0 0 83 898 0 64

N.S.

1 1.00 1.74 0.00 0.00 2.37 25.66 0.00 1.83

time (sec)

N/A 0.155 0.396 1.089 0.000 0.374 81.098 0.000 14.363

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 36 0 0 39 0 9672 36

N.S.

1 1.00 1.00 0.00 0.00 1.08 0.00 268.67 1.00

time (sec)

N/A 0.089 0.341 0.418 0.000 0.374 0.000 45.402 13.542

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 37 0 0 40 0 9673 37

N.S.

1 1.00 1.00 0.00 0.00 1.08 0.00 261.43 1.00

time (sec)

N/A 0.086 0.324 0.410 0.000 0.398 0.000 45.271 13.497

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 87 158 157 105 440 131 300

N.S.

1 1.00 0.62 1.13 1.12 0.75 3.14 0.94 2.14

time (sec)

N/A 0.132 0.112 0.241 0.280 0.369 0.664 0.468 15.304

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 77 136 138 91 359 113 256

N.S.

1 1.00 0.64 1.12 1.14 0.75 2.97 0.93 2.12

time (sec)

N/A 0.123 0.084 0.171 0.275 0.509 0.455 0.551 15.286

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 55 117 112 77 267 77 292

N.S.

1 1.00 0.57 1.22 1.17 0.80 2.78 0.80 3.04

time (sec)

N/A 0.083 0.330 0.143 0.288 0.386 0.303 0.448 15.030

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 54 89 86 63 196 77 250

N.S.

1 1.00 0.66 1.09 1.05 0.77 2.39 0.94 3.05

time (sec)

N/A 0.073 0.245 0.118 0.287 0.360 0.199 0.448 15.188

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 74 88 85 92 0 107 212

N.S.

1 1.00 0.97 1.16 1.12 1.21 0.00 1.41 2.79

time (sec)

N/A 0.071 0.116 0.233 0.269 0.415 0.000 0.424 13.227

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 77 80 83 111 0 153 226

N.S.

1 1.00 0.97 1.01 1.05 1.41 0.00 1.94 2.86

time (sec)

N/A 0.128 0.156 0.207 0.294 0.417 0.000 0.442 13.194

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 142 78 90 152 0 137 220

N.S.

1 1.00 1.82 1.00 1.15 1.95 0.00 1.76 2.82

time (sec)

N/A 0.086 0.035 0.234 0.272 0.404 0.000 0.462 13.500

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 141 101 117 175 0 150 245

N.S.

1 1.00 1.81 1.29 1.50 2.24 0.00 1.92 3.14

time (sec)

N/A 0.090 0.360 0.217 0.292 0.383 0.000 0.438 13.316

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 210 114 145 166 0 174 244

N.S.

1 1.00 2.44 1.33 1.69 1.93 0.00 2.02 2.84

time (sec)

N/A 0.104 0.050 0.245 0.283 0.502 0.000 0.604 13.116

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 268 140 175 201 0 174 244

N.S.

1 1.00 2.55 1.33 1.67 1.91 0.00 1.66 2.32

time (sec)

N/A 0.172 0.053 0.222 0.287 0.366 0.000 0.471 13.155

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 306 163 207 240 0 242 340

N.S.

1 1.00 2.35 1.25 1.59 1.85 0.00 1.86 2.62

time (sec)

N/A 0.138 0.060 0.257 0.283 0.421 0.000 0.448 13.365

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 254 154 715 248 3614 156 326

N.S.

1 1.00 1.97 1.19 5.54 1.92 28.02 1.21 2.53

time (sec)

N/A 0.149 0.655 0.395 0.516 0.380 27.944 0.489 17.076

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 228 115 543 225 2290 113 261

N.S.

1 1.00 2.21 1.12 5.27 2.18 22.23 1.10 2.53

time (sec)

N/A 0.134 0.544 0.349 0.509 0.379 16.284 0.453 16.929

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 189 96 392 204 1268 93 178

N.S.

1 1.00 2.12 1.08 4.40 2.29 14.25 1.04 2.00

time (sec)

N/A 0.125 0.602 0.303 0.487 0.363 9.086 0.509 14.924

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 107 71 348 156 461 63 110

N.S.

1 1.00 1.30 0.87 4.24 1.90 5.62 0.77 1.34

time (sec)

N/A 0.106 0.325 0.279 0.313 0.380 5.045 0.430 13.448

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 92 86 387 154 573 79 134

N.S.

1 1.00 1.59 1.48 6.67 2.66 9.88 1.36 2.31

time (sec)

N/A 0.076 0.168 0.247 0.299 0.375 2.807 0.441 13.309

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 313 95 433 310 0 99 199

N.S.

1 1.00 3.19 0.97 4.42 3.16 0.00 1.01 2.03

time (sec)

N/A 0.120 0.716 0.431 0.298 0.385 0.000 0.461 14.771

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 167 120 519 406 0 146 210

N.S.

1 1.00 1.48 1.06 4.59 3.59 0.00 1.29 1.86

time (sec)

N/A 0.285 1.965 0.457 0.285 0.422 0.000 0.505 15.774

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 245 148 622 498 0 180 288

N.S.

1 1.00 1.78 1.07 4.51 3.61 0.00 1.30 2.09

time (sec)

N/A 0.164 2.483 0.533 0.309 0.402 0.000 0.532 15.741

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 348 174 706 594 0 213 314

N.S.

1 1.00 2.27 1.14 4.61 3.88 0.00 1.39 2.05

time (sec)

N/A 0.171 6.185 0.520 0.300 0.392 0.000 0.495 15.280

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

327 327 267 422 438 245 996 314 830

N.S.

1 1.00 0.82 1.29 1.34 0.75 3.05 0.96 2.54

time (sec)

N/A 0.405 1.399 0.276 0.291 0.435 0.423 0.743 15.576

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 185 274 285 165 571 198 547

N.S.

1 1.00 0.87 1.29 1.34 0.77 2.68 0.93 2.57

time (sec)

N/A 0.250 1.070 0.186 0.285 0.415 0.276 0.528 15.413

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 104 147 155 88 277 101 134

N.S.

1 1.00 0.94 1.32 1.40 0.79 2.50 0.91 1.21

time (sec)

N/A 0.113 0.297 0.145 0.289 0.377 0.148 0.501 13.314

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 45 59 62 46 94 48 100

N.S.

1 1.00 0.94 1.23 1.29 0.96 1.96 1.00 2.08

time (sec)

N/A 0.016 0.078 0.122 0.282 0.373 0.085 0.468 13.263

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 196 120 0 303 5508 141 2500

N.S.

1 1.00 2.00 1.22 0.00 3.09 56.20 1.44 25.51

time (sec)

N/A 0.196 0.452 0.299 0.000 0.412 172.698 0.557 16.580

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 217 174 0 672 0 204 2500

N.S.

1 1.00 1.75 1.40 0.00 5.42 0.00 1.65 20.16

time (sec)

N/A 0.227 0.929 0.430 0.000 0.459 0.000 0.677 20.316

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 345 424 0 990 0 594 554

N.S.

1 1.00 1.96 2.41 0.00 5.62 0.00 3.38 3.15

time (sec)

N/A 0.274 2.273 0.648 0.000 0.422 0.000 0.590 15.589

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

464 464 437 745 778 371 1865 474 1291

N.S.

1 1.00 0.94 1.61 1.68 0.80 4.02 1.02 2.78

time (sec)

N/A 0.650 2.068 0.365 0.314 0.433 0.669 0.807 15.987

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

336 336 296 496 514 251 1129 311 765

N.S.

1 1.00 0.88 1.48 1.53 0.75 3.36 0.93 2.28

time (sec)

N/A 0.484 1.021 0.266 0.288 0.420 0.442 0.623 15.705

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 160 278 289 149 571 172 492

N.S.

1 1.00 0.96 1.67 1.74 0.90 3.44 1.04 2.96

time (sec)

N/A 0.184 0.523 0.185 0.293 0.391 0.271 0.644 14.603

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 106 117 123 74 199 88 91

N.S.

1 1.00 1.13 1.24 1.31 0.79 2.12 0.94 0.97

time (sec)

N/A 0.042 0.224 0.128 0.279 0.373 0.146 0.610 13.161

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 177 235 0 467 0 314 2500

N.S.

1 1.00 1.04 1.37 0.00 2.73 0.00 1.84 14.62

time (sec)

N/A 0.351 0.437 0.358 0.000 0.480 0.000 0.587 20.069

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 192 251 0 750 0 498 2500

N.S.

1 1.00 0.97 1.27 0.00 3.79 0.00 2.52 12.63

time (sec)

N/A 0.403 0.686 0.516 0.000 0.429 0.000 0.795 21.578

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 226 431 0 1508 0 703 2500

N.S.

1 1.00 1.05 2.00 0.00 7.01 0.00 3.27 11.63

time (sec)

N/A 0.428 0.938 0.699 0.000 0.457 0.000 0.726 22.497

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

604 604 528 1077 1136 440 2878 566 1395

N.S.

1 1.00 0.87 1.78 1.88 0.73 4.76 0.94 2.31

time (sec)

N/A 0.984 3.118 0.496 0.320 0.439 0.958 0.825 16.176

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

463 463 355 725 758 306 1804 380 976

N.S.

1 1.00 0.77 1.57 1.64 0.66 3.90 0.82 2.11

time (sec)

N/A 0.760 1.607 0.362 0.304 0.422 0.647 0.652 15.626

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 156 414 430 184 960 217 550

N.S.

1 1.00 0.78 2.06 2.14 0.92 4.78 1.08 2.74

time (sec)

N/A 0.231 0.793 0.264 0.323 0.404 0.411 0.756 14.623

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 117 120 178 185 98 371 116 330

N.S.

1 0.92 0.94 1.40 1.46 0.77 2.92 0.91 2.60

time (sec)

N/A 0.072 0.349 0.177 0.333 0.376 0.236 0.567 14.256

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 233 378 0 644 0 617 2500

N.S.

1 1.00 0.95 1.54 0.00 2.62 0.00 2.51 10.16

time (sec)

N/A 0.619 0.672 0.416 0.000 0.498 0.000 0.604 21.761

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 244 406 0 1048 0 588 2500

N.S.

1 1.00 0.86 1.43 0.00 3.70 0.00 2.08 8.83

time (sec)

N/A 0.645 1.035 0.601 0.000 0.465 0.000 0.531 23.883

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

305 305 830 586 0 1697 0 986 2500

N.S.

1 1.00 2.72 1.92 0.00 5.56 0.00 3.23 8.20

time (sec)

N/A 0.651 2.141 0.882 0.000 0.470 0.000 0.536 25.413

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 788 337 1226 480 14644 479 839

N.S.

1 1.00 3.58 1.53 5.57 2.18 66.56 2.18 3.81

time (sec)

N/A 0.240 0.900 0.301 0.588 0.469 4.986 0.541 14.054

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 141 200 193 660 311 5763 222 297

N.S.

1 0.99 1.40 1.35 4.62 2.17 40.30 1.55 2.08

time (sec)

N/A 0.138 0.337 0.246 0.534 0.384 2.554 0.495 16.666

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 126 81 278 160 1307 160 122

N.S.

1 1.00 1.88 1.21 4.15 2.39 19.51 2.39 1.82

time (sec)

N/A 0.137 0.339 0.224 0.505 0.368 1.250 0.548 13.681

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 79 42 84 70 109 40 35

N.S.

1 1.00 2.26 1.20 2.40 2.00 3.11 1.14 1.00

time (sec)

N/A 0.034 0.122 0.125 0.506 0.368 0.624 0.431 12.920

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 148 94 0 616 0 113 154

N.S.

1 1.00 1.47 0.93 0.00 6.10 0.00 1.12 1.52

time (sec)

N/A 0.120 0.250 0.487 0.000 0.397 0.000 0.470 13.322

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 209 197 0 1571 0 443 437

N.S.

1 1.00 1.15 1.09 0.00 8.68 0.00 2.45 2.41

time (sec)

N/A 0.236 0.867 0.526 0.000 0.423 0.000 0.483 15.531

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 313 482 0 3348 0 753 1076

N.S.

1 1.00 1.11 1.70 0.00 11.83 0.00 2.66 3.80

time (sec)

N/A 0.379 1.161 1.141 0.000 0.463 0.000 0.548 17.439

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 547 340 1500 596 14612 494 663

N.S.

1 1.00 2.40 1.49 6.58 2.61 64.09 2.17 2.91

time (sec)

N/A 0.353 2.393 0.343 0.559 0.401 9.255 0.469 16.346

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 338 193 901 385 5358 277 365

N.S.

1 1.00 2.56 1.46 6.83 2.92 40.59 2.10 2.77

time (sec)

N/A 0.337 1.142 0.317 0.521 0.401 4.914 0.530 16.038

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 180 110 492 216 1062 141 94

N.S.

1 1.00 2.12 1.29 5.79 2.54 12.49 1.66 1.11

time (sec)

N/A 0.138 0.245 0.284 0.511 0.399 2.430 0.508 13.738

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 43 70 232 125 372 68 97

N.S.

1 1.00 0.66 1.08 3.57 1.92 5.72 1.05 1.49

time (sec)

N/A 0.035 0.046 0.198 0.309 0.357 1.286 0.480 13.388

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 229 159 0 1318 0 259 302

N.S.

1 1.00 1.51 1.05 0.00 8.67 0.00 1.70 1.99

time (sec)

N/A 0.284 0.438 0.612 0.000 0.412 0.000 0.567 14.783

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 313 263 0 3168 0 425 844

N.S.

1 1.00 1.14 0.96 0.00 11.52 0.00 1.55 3.07

time (sec)

N/A 0.459 1.941 0.667 0.000 0.467 0.000 0.519 16.763

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

386 386 1257 547 0 5054 0 944 1686

N.S.

1 1.00 3.26 1.42 0.00 13.09 0.00 2.45 4.37

time (sec)

N/A 0.654 5.772 1.426 0.000 0.520 0.000 0.530 17.693

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 366 349 1828 663 11456 596 593

N.S.

1 1.00 1.63 1.55 8.12 2.95 50.92 2.65 2.64

time (sec)

N/A 0.548 1.996 0.454 0.667 0.411 17.202 0.497 15.695

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 514 241 1230 444 3468 382 286

N.S.

1 1.00 3.13 1.47 7.50 2.71 21.15 2.33 1.74

time (sec)

N/A 0.311 0.618 0.408 0.547 0.572 9.641 0.482 16.544

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 176 151 797 283 1819 223 245

N.S.

1 1.00 1.39 1.19 6.28 2.23 14.32 1.76 1.93

time (sec)

N/A 0.154 0.491 0.355 0.310 0.791 5.365 0.513 14.259

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 63 114 421 202 1015 130 150

N.S.

1 1.00 0.62 1.12 4.13 1.98 9.95 1.27 1.47

time (sec)

N/A 0.053 0.068 0.236 0.320 0.386 2.962 0.467 13.804

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 502 252 0 2337 0 578 591

N.S.

1 1.00 2.19 1.10 0.00 10.21 0.00 2.52 2.58

time (sec)

N/A 0.492 0.856 0.769 0.000 0.456 0.000 0.576 17.184

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

381 381 1253 355 0 4543 0 772 1349

N.S.

1 1.00 3.29 0.93 0.00 11.92 0.00 2.03 3.54

time (sec)

N/A 0.742 6.286 0.885 0.000 0.501 0.000 0.541 17.669

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

508 508 548 639 0 7352 0 1272 2387

N.S.

1 1.00 1.08 1.26 0.00 14.47 0.00 2.50 4.70

time (sec)

N/A 0.988 3.303 1.542 0.000 0.572 0.000 0.636 19.882

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

256 256 305 242 0 480 0 579 -1

N.S.

1 1.00 1.19 0.95 0.00 1.88 0.00 2.26 -0.00

time (sec)

N/A 0.310 0.826 5.871 0.000 0.403 0.000 0.744 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 176 161 0 317 0 367 -1

N.S.

1 1.00 0.92 0.84 0.00 1.65 0.00 1.91 -0.01

time (sec)

N/A 0.226 0.501 6.509 0.000 0.382 0.000 0.585 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 117 102 0 184 0 197 -1

N.S.

1 1.00 0.99 0.86 0.00 1.56 0.00 1.67 -0.01

time (sec)

N/A 0.168 0.251 6.129 0.000 0.394 0.000 0.553 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 82 58 0 92 0 90 -1

N.S.

1 1.00 1.32 0.94 0.00 1.48 0.00 1.45 -0.02

time (sec)

N/A 0.039 0.091 5.500 0.000 0.395 0.000 0.470 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 903 139 0 685 0 130 -1

N.S.

1 1.00 9.03 1.39 0.00 6.85 0.00 1.30 -0.01

time (sec)

N/A 0.163 6.343 8.023 0.000 0.871 0.000 0.488 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 901 274 0 1054 0 221 -1

N.S.

1 1.00 7.15 2.17 0.00 8.37 0.00 1.75 -0.01

time (sec)

N/A 0.184 6.185 11.341 0.000 1.013 0.000 0.508 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 967 628 0 1804 0 443 -1

N.S.

1 1.00 5.04 3.27 0.00 9.40 0.00 2.31 -0.01

time (sec)

N/A 0.251 7.220 12.290 0.000 1.486 0.000 0.583 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

374 374 390 312 0 652 0 793 -1

N.S.

1 1.00 1.04 0.83 0.00 1.74 0.00 2.12 -0.00

time (sec)

N/A 0.612 2.941 6.075 0.000 0.416 0.000 0.815 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

294 294 267 207 0 443 0 523 -1

N.S.

1 1.00 0.91 0.70 0.00 1.51 0.00 1.78 -0.00

time (sec)

N/A 0.474 1.494 5.356 0.000 0.405 0.000 0.667 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 144 150 0 268 0 301 -1

N.S.

1 1.00 0.87 0.91 0.00 1.62 0.00 1.82 -0.01

time (sec)

N/A 0.217 0.745 5.815 0.000 0.385 0.000 0.615 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 101 77 0 146 0 147 -1

N.S.

1 1.00 1.00 0.76 0.00 1.45 0.00 1.46 -0.01

time (sec)

N/A 0.058 0.279 5.489 0.000 0.364 0.000 0.517 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 356 291 0 918 0 287 -1

N.S.

1 1.00 2.33 1.90 0.00 6.00 0.00 1.88 -0.01

time (sec)

N/A 0.340 2.445 8.832 0.000 1.023 0.000 0.611 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 381 590 0 1474 0 381 -1

N.S.

1 1.00 1.99 3.09 0.00 7.72 0.00 1.99 -0.01

time (sec)

N/A 0.373 3.463 11.039 0.000 1.177 0.000 0.591 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

221 221 416 895 0 2262 0 655 -1

N.S.

1 1.00 1.88 4.05 0.00 10.24 0.00 2.96 -0.00

time (sec)

N/A 0.405 3.777 14.549 0.000 1.681 0.000 0.605 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

534 534 1565 374 0 880 0 1061 -1

N.S.

1 1.00 2.93 0.70 0.00 1.65 0.00 1.99 -0.00

time (sec)

N/A 0.812 6.604 6.021 0.000 0.612 0.000 1.009 0.000

[next] [prev] [prev-tail] [front] [up]